Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
002792 | Steffen Van Bakel [Royaume-Uni] ; Franco Barbanera [Italie] ; Ugo De Iguoro [Italie] | A Filter Model for the λμ -Calculus |
003A30 | Steffen Van Bakel [Royaume-Uni] ; Maria Grazia Vigliotti [Royaume-Uni] | A Logical Interpretation of the λ -Calculus into the π -Calculus, Preserving Spine Reduction and Types |
This area was generated with Dilib version V0.6.33. |